1

A unified view of monadic and applicative non-determinism

Year:
2017
Language:
english
File:
PDF, 559 KB
english, 2017
2

Notions of computation as monoids

Year:
2017
Language:
english
File:
PDF, 331 KB
english, 2017
3

Dioids for Computational Effects

Year:
2018
Language:
english
File:
PDF, 271 KB
english, 2018